/* Safari doesn't support this. */
@page {
    margin: 14mm 10mm;
}
html {
    font-family: "Cambria Math", Times, "Times New Roman", serif;
    font-size: 10pt;
    line-height: 1.35;
    word-wrap: break-word; /* `overflow-wrap` is a better equivalent but IE does't support it. */
}
body {
    margin: 0;
}
sub, sup {
    font-size: 0.667em;
}
pre {
    white-space: pre-wrap;
}
pre, code {
    font-family: "Source Code Pro", Menlo, Consolas, monospace;
}
@media screen {
    body {
        margin: 14mm 10mm;
    }
}
p, pre, div.paragraph {
    margin: 0.7rem 0 0 0;
}
a {
    color: black;
    text-decoration: none;
}
h1 {
    font-size: 2.5em;
}
h3 {
    font-size: 1em;
}
div.stack {
    display: -webkit-flex;
    display: flex;
    -webkit-justify-content: center;
    justify-content: center;
    -webkit-align-items: center;
    align-items: center;
}
div.vertical {
    -webkit-flex-direction: column;
    flex-direction: column;
}
div.block {
    margin: 0.25em;
    border: 0.1em solid black;
    padding: 0.25em;
}
div.normal {
    margin: 0.25em;
    padding: 0.25em;
}
